Skip to main content
Scour
Discover
Docs
Login
Sign Up
Discover
About
Docs
Changelog
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Automata Theory
⚙ Automata Theory
Filter Results
Timeframe
Choose a timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
9
posts in
22.4
ms
💻
CS
arxiv.org
·
6d
6 days ago
Language
Acceptors with a
Pushdown
: Characterizations and Complexity
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Language Acceptors with a Pushdown: Characterizations and Complexity
Less-relevant results
⚙️
Logic Synthesis
boolsi.com
·
19h
19 hours ago
Enable software developers to compile hotspots into custom hardware accelerators
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Enable software developers to compile hotspots into custom hardware accelerators
💻
CS
nLab
·
3d
3 days ago
controllability and observability
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for controllability and observability
✈️
Datasaab D2
obsolescence.dev
·
1d
1 day ago
The Early Days: A History of Interactive Computing (obsolescence.dev)
Discussed on
Hacker News
and
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The Early Days: A History of Interactive Computing (obsolescence.dev)
🤐
Secure Multiparty
Gödel’s Lost Letter and P=NP
·
4d
4 days ago
Gödel's Lost Letter and P=NP
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Gödel's Lost Letter and P=NP
💻
CS
arxiv.org
·
5d
5 days ago
Witnesses and Counterexamples for Timed Bisimulation
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Witnesses and Counterexamples for Timed Bisimulation
💻
CS
arxiv.org
·
5d
5 days ago
The algebra of Krom logic programs
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The algebra of Krom logic programs
💻
CS
arxiv.org
·
3d
3 days ago
Tractable Gap-Constraint
Languages
for Complex Event Recognition
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Tractable Gap-Constraint Languages for Complex Event Recognition
💻
CS
arxiv.org
·
5d
5 days ago
Assembly Spaces:
Formal
Definitions and Fast Methods for Approximating Assembly Indices
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Assembly Spaces: Formal Definitions and Fast Methods for Approximating Assembly Indices
No more posts from matmat's subscribed feeds.
Scour all
25,324
feeds
Learn more about Feeds
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous post
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Discover
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help
Like
Save
Not for me
Report